#!/bin/bash
# stop server
# by yushaolong
# email: yusl@knowbox.cn
# 2018.07.26

if [ ! -f /tmp/census.pid ]; then
    echo "[error]: not found pid file, process may not running."
    exit
fi

kill -HUP $(cat /tmp/census.pid)

echo "[success]: server reload success"